1. Algebraic and coalgebraic methods in the mathematics of program construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, revised lectures
Author: Roland Backhouse, Roy Crole, Jeremy Gibbons, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics,Congresses ، Algebra
Classification :
QA
76
.
L28
Vol
.
2297
2. Algorithms and complexity : new directions and recent results
Author: edited by J. F. Traub
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Computational complexity,Data processing -- Congresses ، Mathematics
Classification :
QA
76
.
6
.
S98
1976
3. Algorithms and complexity; new directions and recent results; proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Eletronic digital computers-- Programming-- Congresses,، Computational complexity-- Congresses,، Mathematics-- Data processing-- Congresses
Classification :
QA
76
.
6
.
S9195
4. Algorithms and complexity ; new directions and recet results
Author:
Library: Central Library and Documents Center of Al-Zahra University (Tehran)
Subject: ، Electronic digital computers- programming- congresses,، Computational complexity - Congresses,، Mathematics - Data processing - Congresses
Classification :
QA
76
.
6
.
S9195
1976
5. Algorithms and complexity : recent results and new directions : )proceedings of a Symposium on New Directions and Recent Results in Algorithms and Complexity held by the Computer Science Department, Carnegie-Mellon University, April 7-9, 1976(
Author: edited by J. F. Traub
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming,Congresses ، Computational complexity,Congresses ، Mathematics - Data processing
Classification :
QA
76
.
6
.
S919
1976
6. Algorithms and model formulations in mathematical programming
Author: edited by Stein W. Wallace
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming )Mathematics(,Congresses ، Mathematical models
Classification :
T
57
.
7
.
N36
1987
7. Algorithms and model formulations in mathematical programming
Author: Editeed by Stein w. Wallace
Library: CENTRAL LIBRARY UNIVERCITY OF HORMOZGAN (Hormozgan)
Subject: ، Programming )Mathematics(, Congresses,، Mathematical models, Congresses
Classification :
T
57
.
7
.
N38A54
1987
8. Algorithms & model formulations in mathematical programming
Author:
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: PROGRAMMING )MATHEMATICS(-CONGRESSES , MATHEMATICAL MODELS-CONGRESSES
Classification :
T
57
.
7
.
N36
1987
9. Algrithms and model formulation in mathematical programming
Author:
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Programming (Mathematics)- congresses ► Mathematical models- Congresses
Classification :
519
A396
10. Application of nonlinear programming to optimization
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Automatic control-- Mathematics models-- Congresses►Nonlinear programming-- Congresses►Mathematical optimization-- Congresses
Classification :
212
.
2
.
A66
11. Applications of mathematical programming techiques: a conference held at Cambridge, U. K., in June 1968, under the aegis of the N.A.T.O. Scientific Affairs Committee
Author: / edited by E. M. L. Beale
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Programming (Mathematics) - Congresses
Classification :
519
.
7
A652
12. Bidirectional transformations :
Author: Jeremy Gibbons, Perdita Stevens (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Transformations (Mathematics), Congresses.,Business & Economics-- Information Management.,Computer programming-- software development.,Computers-- Database Management-- General.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Databases.,Information architecture.,Software Engineering.,Transformations (Mathematics)
Classification :
QA601
13. Category theory and computer science
Author: / D.H. Pitt, A. Poigne, D.E. Rydeheard (eds.)
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
Classification :
QA76
.
6
.
C388
1987
14. Category theory and computer science
Author: / D.H. Pitt ... [et al.] (ed.
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer programming--Congresses,Categories (Mathematics)--Congresses
Classification :
QA
,
76
.
6
,.
C3882
,
1989
15. Category theory and computer science
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Electronic digital computers- Programming- Congresses►Categories (Mathematics)- Congresses
Classification :
76
.
6
.
C38
16. Category theory and computer science
Author: / D.H. Pitt ... (et al.) (ed.)
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic digital computers -- Programming -- Congresses,Categories (Mathematics) -- Congresses
Classification :
QA
76
.
6
.
C3882
1989
17. Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings
Author: D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Categories )Mathematics(
Classification :
QA
76
.
L28
Vol
.
283
18. Category theory and computer science: Edinburgh, U.K., September 7-9, 1987 : proceedings. Edinburgh, U.K., September 7-9, 1987 : proceedings
Author: / D.H. Pitt, A. Poigne, D.E. Rydeheard (eds.)
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer programming- Congresses,Categories (Mathematics)- Congresses
Classification :
QA76
.
6
.
C388
1987
R
19. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
Author: D.H. Pitt ... )et al.( )ed.(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming,Congresses ، Categories )Mathematics(
Classification :
QA
76
.
L4
v
.
389
20. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
Author: / D.H. Pitt ... (et al.) (ed.)
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
Classification :
QA76
.
6
.
C3882
1989
